A Model Checking Perspective on White-Box Testing Helmut Veith Technische Universität Wien

Source URL: icst2015.ist.tu-graz.ac.at

• Formal methods
• Logic in computer science
• Software engineering
• Helmut Veith
• Computer science
• Computer programming
• Debugging
• Veith
• Formal verification
• Turing Award
• Assertion
• Model checking

DOKTORATSKOLLEG W1255 Sprecher Helmut Veith

Source URL: www.fwf.ac.at

DOKTORATSKOLLEG W1255 Sprecher Helmut Veith

Source URL: www.fwf.ac.at

On the Concept of Variable Roles and its Use in Software Analysis Yulia Demyanova, Helmut Veith, Florian Zuleger Vienna University of Technology Abstract—Human written source code in imperative programming languages ex

Source URL: www.cs.utexas.edu

• Type theory
• Variables
• Environment variable
• C programming language
• C syntax
• Computing
• Software engineering
• Data types

Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms? Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, and Josef Widder Vienna University of Technology (TU Wien) Abstract. Fault-tolerant distrib

Source URL: forsyte.at

• Distributed computing
• Fault tolerance
• Cryptography
• Failure
• Theory of computation
• Consensus
• Byzantine fault tolerance
• Promela
• Distributed algorithm
• Fault-tolerant computer systems
• Concurrent computing
• Computing

Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms? Annu Gmeiner, Igor Konnov, Ulrich Schmid, Helmut Veith, and Josef Widder Vienna University of Technology (TU Wien) Abstract. Recently we

Source URL: forsyte.at

• Fault-tolerant computer systems
• Fault tolerance
• Cryptography
• Theory of computation
• Consensus
• Model checking
• Distributed computing
• Byzantine fault tolerance
• Distributed algorithm
• Computing
• Theoretical computer science
• Concurrent computing

Parameterized Model Checking of Fault-tolerant Distributed Algorithms by Abstraction Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder Vienna University of Technology (TU Wien) Abstract—We introduce an

Source URL: www.cs.utexas.edu

• Abstraction
• Data management
• FO
• Model checking
• Abstract interpretation
• Function
• Interpretation
• Mathematics
• Mathematical logic
• Theoretical computer science

On the Completeness of Bounded Model Checking for Threshold-Based Distributed Algorithms: Reachability Igor Konnov, Helmut Veith, and Josef Widder ?

Source URL: forsyte.at

SMT and POR beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms? Igor Konnov, Helmut Veith, and Josef Widder * Consi

Source URL: forsyte.at

• Probability theory
• Metalogic
• Model theory
• Automata theory

VSL 2014 in aller Öffentlichkeit goes public konzipiert und kuratiert von devised and curated by Helmut Veith und and Oliver Lehmann Organized by In partnership with

Source URL: vsl2014.at